type RingF1 a = RingF (RingF a)